#ifndef __KERNEL_H
#define __KERNEL_H
int kmain(void);

extern "C"
{
void* __gxx_personality_v0;
}
#endif